#ifndef _CONST_H
#define _CONST_H

#define  PAGE_SHIFT	12
#define  PAGE_SIZE	(1UL<<PAGE_SHIFT)

#define NR_TASKS	64
#define HZ		100

#define __PAGE_OFFSET	0xC0000000
#define __KERN_PD_OFFSET	768		//The kernel occupies the upper 1GB memory space
#define __CSL_PD_OFFSET		512		//CSL occupies the middle 1GB memory space
#define KERN_PA(X)	((X)-__PAGE_OFFSET)
#define KERN_VA(X)  ((X)+__PAGE_OFFSET)

#define DBG1(x) \
	do {\
		printk("%x\n",(x));\
		while(1);\
	}while(0);
	
#define DBG2(x,y) \
	do {\
		printk("%x %x\n",(x),(y));\
		while(1);\
	}while(0);

#endif
